Fixes minor interface glitch in previous commit