fix type in user guide