f01b8b9 trivial bug