Thickness of a line: shouldn't these two values be equal?... bug ?