Use <pre> to format bash commands