Fixing 3 months-without-a-release bug