I contibuted this fix for the pretty typo.