remove obsolete comment (thanks @jerith)