A small improvement to the .monitor decorator