Some simple edits and comments for JBIDE-15766