fixed a trivial bug