Small fixes were added.