Corrected bugs in is_solved().