Whoops; minor fix