While the new names are better a brief comment explaining both options might be useful for many of the users.