Very minor PMD fix