Code changes thanks to the Code Checker local plugin.