gametheory.ijs: minor cleanups