Correct port numbering of pico