usermanual: some fixes thanks to Colin Adams