this fixes #438