Minor addition that for some reason was overlooked in the previous pull