Fix #9: Incorrect example