fix typo; update autotest build instructions