two more bugs of the same kind as in #5