some trivial bug