Revert change to quoting

Accidentally included a change of quoting which isn't related to the diff at
hand; reverted with this commit.