update lecture 01 PRE tag indentation