Small changes to the gpu timer