use the more efficient conversion from FAQ 7.10