got rid of a java 8 warning, and slightly tweaked the formatting.