Small refinements to codeame.py