(meta) reverting previous commit.

The change isn't compiling on the CI server.  No idea why.  Choose your battles!