This is a mistake in my original comment above. My first use of "happy" should have been replaced with "satisfied" or "fulfilled." My sloppiness confused the message a bit.