I think this fixes #56