Fix a little quality flaw... ;-)