Update MagicNumberedHeadings.php