pretty: make some method more robust (or more informative when crashing)