Updated user manual, bugfixes.