Removed out of date comment re a bug I fixed