Build error gefixt

Zat een build error in mijn laatste commit. Die is nu gefixt, en jullie
kunnen weer launchen.