fix a format error in the solution file