Forgot to remove aux declaration