add missing @Override annotations; no semantic change