Fix typo in prop224

Please see my branch prop224-typo on https://github.com/teor2345/torspec.git