workaround for #318