Little fixes, comments added.