minor format fix #2