Fix HTML examples