Digging for a strange GitHub issue...