Fixed small bug with fact