Formatting of this `then` block is a bit weird.