pijltjes van een comment waren verdwenen...