Small formatting fix to satisfy PHPMD rules.