Small formal changes, nothing important.
Small formal updates.