probably fix a compile error on some version of gcc [Fixes #2]