#22 fix another redefinition

Online github editor is unusable for editing python code...