Removed an unneeded definition

Should have been removed in a previous commit.