Remove unnecessary inclusion of proper.hrl