Great catch! I was wondering why Bram had put `4` there... Must be getting cross-eyed.