Update documentation as of commit a0dfcf5e54