Fix C++ compiler warnings and silly quantifier size check.