fixed file extensions, added section 1.3.4 code