oops, minor fix