Update instructions to work around broken valadoc