A PMD fix for bug #7574.