HOW-TO: provide bug-reports