One other minor fix