Update HOTPInterface.php