Minor format modification; deleted extra space.