Minor duplication fix