fixed a rough bug, renamed system-specific headers, added section_timetable