we need numeric sorting as we sort line numbers