Fix f274b44e0136a6e8e1a5d257a5d757f983ec8e83

See also #117.