Enkele kleine opschoningen van de code.