fixes document style that got broken while fixing #260