Revert 1c63301e5c, this was already fixed here.

This is what I get for looking at different copies of the repo...