A small, pointless change.