Missed points in previous merges

Relating to #177, where an incorrect requirement within INSTALL has been removed.
Relating to removal of comment from closed PR #207