Another small fix on Ruprecht