书上这个语法描述图是否存在问题？

以下图来自《自己动手写编译器、链接器》一书

蓝笔圈出的那个有向边是不是错了？为什么可以越过expression，这样意思不是说明只有一个\n也符合statement定义吗？

就是允许空语句的意思