Let's use the opportunity to replace it with wfMessage() here