quick fix for issue#73