Fix misprint.