Reverted Ernied deletions of pragma, and added some documentation to validation