chkpt: misc
nits