bugfix in stripLeadingVT102