Elaboration.is_waiting_elaboration() bugfix;