This is a second run on the patch, this time I'm just removing the "file bug" message in case the error is caused by check vs. depsolv. Suggested problems in the text have been fixed.