Typo in comment
Fix user guide documentation about unboxed values

Signed-off-by: Arash Rouhani <rarash@student.chalmers.se>