Make docs HTML more valid