workaround for #17