And fix typo I introduced on plan9.