Possible bug in Solve function?