I changed them to covered=yes in an earlier edit but felt it was misleading since it's only partially covered and appears as a tunnel when rendered. I can change it back if a covered tag is valid here.