fix whitespace in comment because GitHub editor