this fixes #11