cd /usr/share/gnome-shell/extensions/ sudo mv ubuntu-dock@ubuntu.com{,.bak}
this did the trick for me (this will remove the Dock).
