05.md: little tweaks