Fixed notation and definition issues in algorithms section