Typo fix

Signed-off-by: Ken Arroyo Ohori <g.a.k.arroyoohori@tudelft.nl>