Fixed small bug introduced in ee833585953aec94daf5b6585e0dc00bae1b73f0