Correct the documentation regarding #115