Remove mention of elaborator

Don't know if it builds now.