Minor changes: code format.