#254: small correction