Smallish changes to developer guide