Fix some whitespace inconsistency.
Merge branch '20130808-sdt-xlate-args' into markj-develop