Update comments: Void# instead of State# RealWorld#