v0.3.9: quick fix for issue94