Add the old names back

These names are no longer on the page, but I liked having them.