fixed trivial bug