Third minor fix