This comment should perhaps be updated.