Fix getter names. Fixes commit: 097b502eae

The getters of the properties “executing” and
“finished” both use custom getter names.

097b502eae implemented the wrong getter names
without the “is” prefix.