[fix][mbed] Fix compilation error
[fix] Typo that producess very odd compiler errors
[fix] Very trivial copypasta