tiny syntax change