fix arrlen expression
output format for auto-grading
piglet to spiglet
bug fix: missing label