Fixes for hashing AVs and exercises