Fix the developer guide's syntax error