This is a dummy file to make the doc server happy. This should go away ASAP.