Fix subsumes? error message.