Fix #3; add #4