Small fix (redundancy).