some tiny capitalization fixes that were needed to move to linux