Further corrections to Extending Safe Mutability.