Clarify return variables' behavior wrt. shadowing