Fix comment that's been wrong since ancient times (thanks, @jvns).