add a missing final