Are those two actually equivalent? From django code history, it looks more complex than just a rename.