slight reformatting, complying with the coding standard