Trivial fix in two messages.