Small bug in Scanner