Add comment on origin of this magic number