usermanual: some fixes