fix a trivial bug