Slight prettification.