another minor fix :-)