fixed some indentation errors in hal