Bangle 2. How to set GPS Serial1 baud rate?

I've got it, finally.
When I switch baud rate manually
first

Serial1.println("$PCAS01,2*1E");

then

Serial1.setup(19200,{rx:D30, tx:D31});

It works.

But, when I push them both together

Serial1.println("$PCAS01,2*1E");
Serial1.setup(19200,{rx:D30, tx:D31});

it makes AT6558 unresponsive, it keeps going, but cannot be controlled. I do not know is it buffer issue in its UART, or whatever. I tried to push \r\n, and \r, and \n, multiple of them, to make its buffer shift or flush. But nothing helped.
There should be a pause between these commands, that's it.
Does Bangle or Espruino have a pause command? I cannot find it.