fix handling of :