Another minor fix...