More progress with check 8b