fix bug introduced by 100774e0b4eae41ee480c3f33dc1e0ddffcac6f1