Trivial fix to spelling mistakes.
Signed-off-by: NArvind Yadav <arvind.yadav.cs@gmail.com>
Signed-off-by: NRichard Weinberger <richard@nod.at>