Fix a few copy/paste artefacts.