Forgot to commit this...

Fixes a semantic error