pr-str type in error message