fix #142 introduced by accident in a161e7fb93ea13abf397eb21dfe5101b6e6f20af