09: fix faulty code example