MINOR fix.