trivial fixes to ext\standard