Enkele kleine bugfixes