very minor fix
ok