Minor fix on Amazon EC2