I think there might be a bug there, somewhere. I ran it here, and got 4.