Fixed a nasty compiler error