Otherwise, some call sites will certainly forget this...