small change to pkg_postint