Correction to MagicNumber __init__