Fix some problems in installation docs. Fixes #72.