This is a bizarre renaming. Same for other variants below.