Got rid of a stupid todo, centered verbatim