Fix #1: better error message.