Fix <pre> formatting.
Remove --configure option.