Removing what seems to be an error introduced by git.