Error correction in Developer Manual