Update documentation of facts