bugfix for fin2result def specs