this fixes #238