@stof The case is not important at all here. For simplification I would rather not want make it explicitly lowercase when it doesn't matter.