Small change for #59.