Minor: slight prettification