Fix a goof