Fixed bug where ERL_TICK was not returned