These comments can now be removed.