add more text in controller synthesis