Tweak to avoid travis errors in post-ajax message-checking.