another minor fix
