Fix for #12.