Minor: more prettification of debugging