fix ticket 4253