#243: fixed