[BUG #6968] minor formatting