Corrected compact() example in Overview