Fix: Scanner gives wrong length for labels ending with ':'