Indeed, thank you.
I just put these annotations quickly without thinking much how to resolve them.