fix a few harmless but annoying CLang warnings