dev-manual: some fixes