Small fixups of PID config

There was still a few minor issues in #14 but it wasn't enough to need a merge. They were mostly style issues.

@pierluca Can you set your editor to remove trailing whitespace on file save ? Generally a good practice to have cleaner diffs.