Minor fix (see #144)