Should this comment be `3.`?