A players server operator status does not have any effect when using a permissions plugin, so the commands need to be disabled to avoid confusion.