fix some lemon namespaces