Minor change I noticed looking at the diff