Modified to comply with coding style.