this fixes #249