Housekeeping: Coding style.