A bit of redundant redundancy, no?