bugfix: compiler error