[minor] Tiny fixes