Ben: parser cleanup