Fix comment following FlashCode's update of doc