procedural lapse cannot defeat substantive benefit