fix broken comment in header