minor tweak to a prim, for Tortoise's benefit