Don't need this pragma anymore. Was related for Dvorm#1 bug.
More code documentation.