Add htmlproof