unexpected behaviour of `with-output-to-string'