minor modifications to formatting