Bugfix in pushSpan method