use vint instead of int for docids; incorporate feedback