[misc] minor changes.