minor tweak to avoid error