Fixes an array assignment error in solution_check