Developer manual: fix syntax