HISTORY updated, tweaks to util