Fixing tabs vs. space in dtx