Fixed a compilation error ;)