Pushing fixed version of buyTicket.php