removed unmatched comment for halt()