Did scorer make right call on Jared Walsh error to help Reid Detmers' no-hitter?