Coinst: add missing blank line in output