Minor: formatting