* hopefully fixes #7