Fixed small bug in previous pull request