another minor fix...