minor, formatting changed