Fixed a compile error introduced with one of the last commits