bugfix for compilation error