minor: polishing