holomaze: comment an assumption which code correctness depends on.