Fix something in chapter11