Whoops!  Duplicate pragmas

[none]