this fixes #396