this obsolete info should have been removed in commit 22ed77d