Oops; previous patch caused extra percent-signs to appear in installations running older versions of MySQL.