Fix missing ----

My previous commit removed this.