minor bugfix related to gcc vs. clang differences