Fix small typos in documentation files

Signed-off-by: Luca-Bogdan Grigorescu <bogdan@gmail.com>