Wout: Fixed a small bug