Don't check synthetic label definitions for null

Same should probably be done for other warts.

Fix gh-4
Add one line instructions before commands in README