RobinHankin further tiny changes for JEBO