Small tweak to ensure compatibility with Java 1.6