Fixes #435 (unless we want to factor out this string entirely.)