small fix in fact