this fixes #19