It seems a correct solution