A small fix regarding some documentation