Update documentation 0.7.1a.