English: A rule option was modified.
Dutch: Een regeloptie is gewijzigd.