HoTT/book — pull request #381 by zhenlin (2013-07-04 23:39:10+00:00)
Title: Fix for issue #379.

Fix for issue #379.