regulator: update a filename in documentation