Issue #8: Fixed (was simply an issue in MockAnalyzer).