this actually fixes #8