finally fixed the FIXME (testLevel() >= 2)