workaround for #57