bug 1308: fixed formating