Update comments now that #908 is fixed