Personally, I think it's okay that we have two identical buttons. If one is ignored, then perhaps the other is observed.