nit: not sure why we don't use camelCase for ```timerid``` and ```monitorpaused```