some edits to Util section.