[[ Bug 13753 ]] Merged IDE bugfix.