Fix #225: fix a deadly typo