Re #934. Fix the docs build