Smallish changes to developer guide [skip ci]