Fix trivial bug