Hey github I told you that last commit fixes #7