Fix for a5c4eba5c56e2.