tiny fix in decorators