Added header comment about redefining for extension methods