I think this comment and subsequent empty lines should be removed.