Forgot to delete redundant definitions.