Gary Wong points out a couple of minor errors in the setting of
`used_solve'.

[originally from svn r7343]