fix bug introduced by ee812f38816294450a307ccb8f2fb2a27fc032f0