Typo in 9.minimum found.