Honestly, if you are getting your carbs from lettuce and veggies, don't worry about it too much.

Originally, Atkins did not subtract fiber from the carb total, but since 2000, he does. It's possible that the edition you read needs some more careful editing to fit the new way (and they missed a couple of places.)

The menu from the book looks fine. If you are losing and not hungry, then don't worry about the lettuce amounts.