minor comment updates and a small style change for comprehensibility