Issue #15: various fixes for README