What’s new in Miami real estate news: