The correct size is the other one displayed.
deskinfo outputs start x and y workspace beginnings.