syntax to pupput-lint happy