9:59 fixing GitHub problem, commit all stuff I did last week