Get rid of a small redundancy