Remove documentation for a non-existing parameter.
Remove extra semicolons.
Remove old-style-casts.
Add a missing link dependency.
Merge branch 'compilation_fixes'

Fixes the compilation of the current master.