fix bug introduced by 0f2f84d