This note provides a proof of Granger's (1986) error correction model for fractionally cointegrated variables and points out a necessary assumption that has not been noted before. Moreover, a simpler, alternative error correction model is proposed which can be employed to estimate fractionally cointegrated systems in three steps.