Editing: TableSeparator.php