changed indent in STL top-K algoritm