workaround for a mistake