REM: a lot of obsolete comments have been removed.