this fixes #315