Interrupt still happening after detached. ( fix now available)

Which method would be better to advise users in the Arduino's attachInterrupt() documentation?

Why not write an "ATTACH_INTERRUPT" macro that hides it?