Fixing stray line. See #1136