#128: minor tweak to actually work