Tiny fix for Java7 compat.