Slightly improved reference to AERN.