Minor: commented header