Fixed a compilation error (this is why we have tests)