Fix an erroneous simplification and document for clarity