small fix related to previous commit