Debugging #6 with better error messages.