Polish previous commit

Fix the mangled javadoc.
Turn View into a String more concisely