Tiny bug in handling of app-defaults?