Yet another minor fix.