Fixed very small bug

No need for details.