oops; it should compile now