Fix a couple more nits with #!+read-only-tramps