fixes #07