Fix string_unprinting()