Other minor fix.