Removed the obsolete import of IORef.