Some cosmetic chages for compliance with Linux Kernel Coding Style