Clarified fix for #258