Fix Ubuntu documentation