this fixes #263, hopefully