Coding style; comments added.