Minor change to reduce the length of a line.