Update HOTP.php