Updating: changing some double-colon rules into single-colon rules.