hopefully fix #493