convert spaces back to tabs in post.php (as per author's style)