another minor fix.