Some little extra docs for the formatter