Fixed simple type in writeup