fix bug with 15.17444