When I run the code, it seems that the output is proper.