Fix #620!  Remove extraneous stuff from extensions!