another minor fix :)