[#3404] Adding a few comments, per @WouterJ