Small fix in jsf