A very minor pet peeve that really doesn't affect anything in the end