Error in synctop documentation