Fixing bug in docs theme