Well, there really is a trailing space here after `solve,`.