small typo: test00 compiles after fix