Style or bug in user manual?