Update documentation regarding #12