Actually both seem to generate the same output, so it must be ok.