minor code format tweak