Removing some whitespace
Fix ods_process_kill(), wrongly cherry-picked before.