Re: Tiny bug in handling of app-defaults?