Fixed small bug introduced in display for default versus user-specified values in preceding commit