just an incidental text change