Bugfix in theme.less