Whoever did the copy_to_user changes a few months back used
a braindamaged editor which screwed the indentation..