Add some noreturn attributes based on compiler recommendations
Fix whitespace