Removed small bug I introduced in former commit