Fix bug 2485: update dotty's parser to accept two level port syntax