The Benito Name-Change Amendment