[#1277] fix formatting