minor edits?
fixed problem finding be4 (in free())