fix bug uncovered now by #295