Added a note about cond-expand