Bug fix: checker ordering.  Formatting.