Fix applied to test08.lua