hopefully fix #300