minor change

just had this lying around, might as well commit it