Removing hack to fix a peculiarity with hbk.4j