fix bug introduced by commit da7c09987a0e6a45995cd2f6e9f6a9e236a22e13