tiny edits to inbox/util