fix outlinings of return double; fixes #2278