Override annotation would be better for clarity (but it is not necessary)