Forgot to remove other definitions...