fix a regression in dev doc