minor nitpicky thing