the output seems correct