Final fixes, fixes #10.