#838 broken procedures

Resolves #838.