Update HOTPTest.php