Test code for #85.