Patch 83 - string type?

[flo80]

The patch for exercise 83 (anonymous lists) uses the type [5]u8 for the string. To be consistent with exercise 77 (sentinels) shouldn't it be [5:0]u8? (It makes not difference to the solution, it's purely for consistency)