Some style: this closing parenthesis should match the indentation of `resp`