Update day8.md

Fix for nabl-def errors