Fixing a small bug in the prologic…haha