Update housefacts_specification.md