Formatting fixup (thanks, @SurprisingEdge!)