Correct for implemented-so-far behavior.