#29: small fix