Corrected silly choice for code tag formatting