This isn't critical in any way so no need to merge, but let's be consistent, in case future changes rely on it.