Kleine correcties i.v.m. code changes Wilfred