Latte: improved error messages