Fixes #1060: added code comment