That renaming sounds reasonable, but just clarifying the docs seems ok to me too.