Was it really needed to remove this harmless little pun?