Minor change not worth noting