Fix style for the warning about unreachable machines