Fix bug in elab15 test