These can probably be combined into one line (hard-wrapped at 80 characters, of course).