Issue #22: comment on where magic numbers came from