Added comment to #12.