GitHub issue I encountered and solution