Yet another typo in test01's if