Improved documentation around pragma marker