Very minor fix in developer guide