What's the source of this magic number? Please comment.