Correct ironic typo