The King laughed good-humouredly.