Ah, thanks for catching the bad java->python translation. I'll push a fix in a bit.