Seems fine to me, we have to disambiguate this at some point.