Mike's Record tactics and a fix in hoqide