A few aesthetic corrections