Fixed trivial bug