DataSet returned from getDataSetByQuery not recognized

Another dumb thing v6.1.3 does when 6.1.2 was working fine:

var ds = databaseManager.getDataSetByQuery(globals.gServerName,sql,null,-1);
application.setValueListItems('vl_dyn_head',ds);

Warning: The function setValueListItems(String,Array) is not applicable for the arguments (String,?)
Of course, adding /** @type {JSDataSet} */ before var ds =… get rid of this warning.

Case #3497: https://support.servoy.com/browse/SVY-3497