fix bug introduced with 85bb2df6743b0c137e90dd1402383a3ea6a21f27