Fix stupid typos which makes the solver very confused

Fix #683