Fix small bug in my last commit