should probably program correctly in the example