bugfix (for some compilers)