fix #582 formatting