remove the unwise "counter" attribute; assorted format fixes