Minor fixes, added a few comments