Tiny change after some discussion.