Are the phases flattened for the formatter `Formatter`? If not, maybe update the comment?