minor tweak to avoid stack overflow