patch to fix capitalization-created problems