Some documentation for #15.