hopefully fix #4