fixes #244 - getter for terminal field wasn't generated