Fix the fix (https://github.com/mariano-perez-rodriguez/vbht/issues/11)