fix a bug introduced with #33