Fix bug induced by copy/paste