#353: fixed copy/paste mistake.