pushed a fix. Nice catch!