workaround for 1237