Fix small bug #361