small fix according to jdhenke's comments