Forgot two minor pragmas from previous tune-up commit.