corrected the format of the definition of assert Length