fixed a bad (but type correct) operator choice in setFlag, and removed some commented-out code