A minor version needed for Sage Bug Day 3.