update documentation; fix boring number handling