Options now have a changed() function, for use by overriding