bugfixing compiler error