Tiny style fix, suggested by reviewer.