Wrong filename in trigger_error message