ditto on whitespace around examples. Here and elsewhere.