Expansions: more detail in error messages