fix bug that got into 0.3.7 release