correct a bug with fixed dev sets