Xxxvdo2013: Fix

If you want, I can draft a concise bug report or craft exact terminal commands tailored to your OS and the version numbers you have.