Fix a slight mishap, reported by @WindowsUser