Yeah, judging by the other old entries I have in /etc/network/interfaces, I suspect quotes used to be fine, and I missed the change. Ah well. Mark