Missing terminal identifier in doc