This parenthetical comment is pretty outdated - shall we drop it?