Remove redundant lintpragma after Lint fix