Minor optimisation: remove unused code.