Version 0.7.12, Minor fix in produced error messages for github bug reports.