Test for #138.