Gentry's false alarm

This added test confirmed that the “called” bug is not a bug, and the
error is isolated in Gentry’s frond-end code. ToDo: Find out what
problem in Gentry’s front-end code.