// Remove useless override (cf previous commit)