Trying to solve a trivial bug