Some minor changes after a commit