Merge branch 'typo' into dev
~ in place =
Merge pull request #3 from weilers/po_serial_pid

[Fix] Use ~ in postcondition