Fix a few tests by comparing concrete strings

It seems the parser and/or the printer are broken.