whitespace cleanup in php redirection script