Fix redeclaration

Thanks to DH for pointing this out