minor tweak to #590