Use observe() instead of some random timeout in options.dart.