Minimal changes to address the updated Issues tab in GitHub