aha! I was editing the wrong file. hide.py moved to hide/