Remove (now) spurious annotations from hamming test