These four lines should be updated to our new "no fancy alignment" rule.