Some small changes and SK translations