[minor] things