small final changes, nothing important