remove obsolete comment

Authored by rjvbb on Dec 14 2018, 12:02 PM.