fix a bug in solution file