Notes/design: small fix