tweak format of ninja.pym