Fixes bug in lvl4 wrapper