Merge branch 'patch-1' into 'master'

Fix pipeline error

See merge request pages/gitbook!17
2 jobs for master in 1 minute and 46 seconds (queued for 1 second)
Status Job ID Name Coverage
  Deploy
passed #115815008
pages

00:01:46

passed pages:deploy

00:00:00