simontime Add more comments, fix formatting