fixed some typing issues caught by g++