small fix from previous commit