fix #1701, formatting