[minor changes]