Bug fixes in the implementation file of TPulseIsland