Corrected minor formatting mistake in Util.java