oops... bug-fixing fatal error from previous commit