a couple of nits in lib/ino