minor correction to be clang compliant