A modification to Spivak's extension of the inverse function theorem | lit.salon