User manual: Small changes