minor syntax change that probably doesn't fix this issue