Fix a bug revealed by 'mvn clean'.