[minor] Minor fixes