Documenting fix for #10