Added type information to make Java 8 compiler happy.