Fix minor word repetition

Authored by yurchor on Mar 5 2017, 7:05 PM.