oops, forgot to cast to int