default handler used in #dispatch: