whitespace in php header