fixed error in fact