Minor change in Joomla.less