web commit by PaulWise: remove bogus comment